<?php 
echo 1234;